Nuprl Definition : eclor
0,22
postcript
pdf
eclor(
a
;
b
) == inr(inr(inr(inl(<
a
,
b
>))))
latex
Definitions
inr(
x
)
,
inl(
x
)
,
<
a
,
b
>
FDL editor aliases
eclor, eclor
origin